Does ACM’s Code of Ethics Change Ethical Decision Making in Software Development? Andrew McNamara Justin Smith

Source URL: people.engr.ncsu.edu

• Ethics
• Philosophy
• Emerging technologies
• Human behavior
• Professional ethics
• Codes of conduct
• Philosophy of life
• Business ethics
• Ethical decision
• Computer ethics
• Self-driving car
• Ethical code

Taking proof-based verified computation a few steps closer to practicality1 Srinath Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin Abstract. W

Source URL: www.pepper-project.org

• Cryptography
• Randomized algorithms
• Computational complexity theory
• Mathematics
• Probabilistically checkable proof
• Complexity classes
• Interactive proof system
• IP
• NP
• Soundness
• PCP theorem
• Commitment scheme

ECE/CS498: Applied Cryptography Instructor: Andrew Miller, TA: Kevin Liao Lecture 2: Interactive Proofs 1

Source URL: gitlab-beta.engr.illinois.edu

• Cryptography
• Computational complexity theory
• Theory of computation
• Randomized algorithms
• Complexity classes
• Zero-knowledge proof
• Interactive proof system
• Quantum complexity theory
• NP
• IP
• Soundness
• Computational indistinguishability

Verifying computations with state Benjamin Braun, Ariel J. Feldman⋆ , Zuocheng Ren, Srinath Setty, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin ⋆ University of Pennsylvania Abstract When

Source URL: www.pepper-project.org

• Cryptography
• Distributed computing architecture
• Parallel computing
• MapReduce
• Certificate
• IP
• NP
• Commitment scheme
• PP
• Computational complexity theory

ZKPROOF WORKSHOP AT ZCON0SPEAKERS: Daniel Benarroch, Eran Tromer, Muthu Venkitasubramaniam, Andrew Miller, Sean Bowe, Nicola Greco, Izaak Meckler, Thibaut Schaeffer NOTE TAKERS: Arthur Prats, Vincent Clouti

Source URL: zkproof.org

• Cryptography
• Computing
• Public-key cryptography
• Non-interactive zero-knowledge proof
• Cryptographic protocol
• Computational complexity theory
• E-commerce
• Secure communication
• Zero-knowledge proof
• ZK
• Cryptographic primitive
• Gadget

RESEARCH SPIVA CONTRIBUTORS Andrew Innes Associate Director

Source URL: eu.spindices.com

• CME Group
• S&P Dow Jones Indices
• S&P Global
• Equity securities
• Finance
• Private equity

ECE/CS498: Applied Cryptography Instructor: Andrew Miller, TA: Kevin Liao Lecture 1: Group Theory 1

Source URL: gitlab-beta.engr.illinois.edu

• Algebra
• Abstract algebra
• Group theory
• Mathematics
• Coset
• Group
• Subgroup
• Discrete logarithm
• Finite field
• Generating set of a group
• Modular arithmetic
• Field

Atomically Trading with Roger: Gambling on the success of a hardfork Patrick McCorry1 , Ethan Heilman2 and Andrew Miller34 1 3

Source URL: eprint.iacr.org

• Cryptocurrencies
• Blockchains
• Bitcoin
• Computing
• Concurrent computing
• Distributed computing
• Alternative currencies
• Ethereum
• Smart contract
• SegWit
• Fork
• Lightning Network

SMTCoq: A plug-in for integrating SMT solvers into Coq? Burak Ekici1 , Alain Mebsout1 , Cesare Tinelli1 , Chantal Keller2 , Guy Katz3 , Andrew Reynolds1 , and Clark Barrett3 t

Source URL: mebsout.github.io

• Theoretical computer science
• Mathematics
• Formal methods
• Mathematical logic
• Logic in computer science
• Electronic design automation
• NP-complete problems
• Boolean algebra
• Satisfiability modulo theories
• Coq
• Solver
• Proof assistant

Efficient RAM and control flow in verifiable outsourced computation Riad S. Wahby⋆ , Srinath Setty† , Zuocheng Ren† , Andrew J. Blumberg† , and Michael Walfish⋆ ⋆ †

Source URL: www.pepper-project.org